Towards the Spatial Database Specification for GIS using Z-Notations
نویسندگان
چکیده
Formal methods are mathematical techniques use in design, development and verification of software and hardware system. Geographic information systems GIS use to collect, store, analyze and present spatial informations. GIS databases are usually very complex to design. Formal methods can play an important role in their design. In the paper, the authors investigate an approach of formal specification of spatial databases for GIS systems using Z notation (a formal language with a powerful structuring mechanism). For the purpose, we use an example from the context of GIS and spatial database to draw Entity Relationship Diagram ERD. Further the paper presents transformation from Entity Relationship Diagram ERD to formal specification that shows all the entities and their relationships in Z notation. In this paper we exhibit that the approach is applicable for spatial database designing. Consequently this leads to unambiguous, consistent and verified GIS system.
منابع مشابه
WS-GIS: Towards a SOA-Based SDI Federation
The volume of spatial data available on the Web has been increasing rapidly. Currently, the Web has been used not only for document searching but also for the provision and use of services, known as Web services, which are published in a directory and may be automatically discovered by software agents. Particularly in the spatial domain, the possibility of accessing these large spatial datasets...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملDissemination of heat wave alerts using spatial mashup technology and open source GIS
Web GIS based applications and systems are becoming popular with the advancement of internet and related technologies and efforts of the open source community. Planners and decision makers are seeking web GIS based solutions as they are efficient at satisfying the needs of users in terms of availability of associated collateral information. The standards and specifications developed by the Open...
متن کاملSPATIAl ANAlySIS by MeANS of A DISTRIbUTeD GeoGRAPhICAl INfoRMATIoN SySTeM
To improve the spatial retrieving by means of Geographical Information Systems (GIS), a distributed GIS-Application has been designed. This application is mainly focused on making spatial analysis, throughout Spatial Analyzer Module (SAM). SAM contains several spatial and mathematical models that have been designed and implemented for detecting landslides and flooding areas. Users can make an a...
متن کاملThe Architecture of a Dynamic Distributed Gis
Current GIS development pays more attention to the ability of distribution based on the client-server architecture. In a batch mode distributed GIS, a file server functions passively. Information sharing and integrating are far from concurrent, nor is the database integrity controlled. The dynamic Voronoi data model, equipped with a dedicated spatial server, presents a bright future in overcomi...
متن کامل